From d36cf651f32de038196d45c1f6251dcb3897d4dc Mon Sep 17 00:00:00 2001 From: "jrb44@plym.cl.cam.ac.uk" Date: Thu, 17 Nov 2005 13:32:05 +0100 Subject: [PATCH] Fix x86-64 build. Signed-off-by: James Bulpin --- xen/arch/x86/domain.c | 3 +++ 1 file changed, 3 insertions(+) diff --git a/xen/arch/x86/domain.c b/xen/arch/x86/domain.c index 6f48b62bdc..c820368e83 100644 --- a/xen/arch/x86/domain.c +++ b/xen/arch/x86/domain.c @@ -255,6 +255,9 @@ void arch_do_createdomain(struct vcpu *v) struct domain *d = v->domain; l1_pgentry_t gdt_l1e; int vcpuid, pdpt_order; +#ifdef __x86_64__ + int i; +#endif if ( is_idle_task(d) ) return; -- 2.30.2